perm filename CCR10.360[360,GF] blob
sn#857897 filedate 1988-05-31 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β@↔εRp→L'#λ~&D H∧"λ⊂C@E@α⊗E8β∃`e8↓ 50↓@ E0↓@@50↓`5(↓@`E(↓@`E(↓↓ 5 ↓A E ↓A E ↓A@5_↓A`E_↓A`E_↓B5⊂↓B E⊂↓B Eλ ∀"%λ ∀@XαT0hα∀0hα∪`@hαS`0xα∪`0xα∪@@xαS@1λα∩A0Hε∩A0Hε∩A0Hε⊃(D⊂∞Gd∩λ¬)!@%ε)` ε↓I` π↓)` πA ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` πA ` πA ` εA)` ¬AIa '¬ a('↓↓P0'↓↓p '↓α '↓α '↓α⊂ '↓α⊂ '↓α⊂ '↓α⊂ '↓α⊂ '↓α('↓α '↓↓p('↓↓@8%εI!H%¬HT !G$αλ⊂C↓8↓∀aP(↓∀"⊂⊂↓Tp8α@ 4xαCtpαC@dhα∧ T`αD@D`α∧`DXα¬ 4Xα¬ 4Xα¬ 4Pα∩@DPα∩@DPα∩@DPα∩@DPα∩@DXα∩`A(↓R`A(↓SA ↓SQ⊂↓S A⊂↓S@Px↓S`Phα∀p@αT"∃_π∃A∧("⊃∧α⊂⊂H ↓(%ε !H'↓↓@8'↓↓`0'↓α('↓α⊂ '↓α '↓α '↓α0 '↓α0 '↓α0 '↓α@ '↓α@ '↓α@ '↓α@ '↓α@ '↓α@ '↓α@ '↓α@ '↓α@ '↓α@ '↓α@_'↓α0 '↓α0 '↓α '↓α '↓α⊂ '↓α('↓↓`0'↓↓@8%εI!@%¬(T "GDαλ⊂@β4P
RC4pαβ`Dpα∧4pα∧4pα∧4pα∧ 4pα∧ 4pαα 0(↓S@@H↓A 4pαα 0(↓S@@H↓A 4pαα 4pαα 4pλ∪B∧pλ∪@@H↓S@@H↓S@@H↓A`4pαα 08↓S@@H↓A`4pαα 00↓S@A⊂↓S@A⊂↓S@A⊂↓S@A⊂↓S@A⊂↓S@Aλα∪@Aα∩CDP∞∩CD("⊃C1h⊂H ↓P%εI!P'↓↓` '↓↓p_'↓↓p_'↓↓p_'↓α_'↓α_'↓↓_α@i` ∧`P_'↓↓_α@i` ∧`P_'↓↓_'↓↓_'βi`x'βi` ∧i` ∧i` ∧i` ∧i` ∧i` ∧i` '↓ ` '↓ ` '↓ ` %βI p%βHT #H∧2λ⊂C↓8↓∀aP(↓∀"⊂⊂↓Tp8α@ 4xαCtpαC@dhα∧ T`αD@D`α∧`DXα¬ 4Xα¬ 4Xα¬ 4Pα∩@DPα∩@DPα∩@DPαβaTPαβaTPαβaTPα¬ DXα¬DXα¬DXα¬D`α∧`D`αD@Dhα∧@DpαDDxαC@UβB uλ∀b⊂↓∃A 0Q(D@⊂λD∩λβ↓`%β↓`%β↓`'↓α '↓α '↓α '↓α '↓α '↓α '↓α '↓α '↓α '↓α '↓α '↓α 'ε a@'ε ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ `∧β `∧β `∧βλT $CArλ⊂@↓dPπ∩Adxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`DPπ∩AdPπ⊃(DP ¬$∩λαC)ph'C*P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P %@`p %↓ ` %↓ ` %↓` %A@(&αiPH'↓HT %H$2λ⊂@↓@Hε∩A@Hε∩A@Hε∪@A↓S@@x↓S@@p↓S@@h↓S@@`↓S@@X↓S@@P↓S@@H↓S@@@↓S@@8↓S@@0↓S@@(α∪@@ β∪@@_↓@ Dpα@0⊂α∪@@λ↓ADpβA@Dpβ↓`DpαB Dpαα`Dpαβ4pαβDpαβ Dpαβ@Dpαβ@Dpαβ`Dpα∧Dpα∧DPεαA4PεαA4PεαA4("∪β!`⊂H p%βI p'↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` π@i` π@i` π@i` π@i` π@i` π@i` π↓ ` πi` πi` πi` εA !H%ε)!H"Q R@∃λ$⊂∧E!$P∧E!$P∧E!$pβ∧`tpβ∧`tp↓@ 1λ↓@ Dp↓@ 1λ↓@ Dp↓@ 1λ↓@ Dp↓@@0x↓@@Dp↓@@0x↓@@Dp↓@@0x↓@@Dp↓@`0h↓@`Dp↓@`0h↓@`Dp↓@`0h↓@`Dp↓A0X↓ADp↓A0X↓ADp↓A 0H↓A Dp↓A 0H↓A Dp↓A 0H↓A Dp↓A@08↓A@Dp↓A@08↓A@Dp↓A@08↓A@Dp↓A`0(↓A`Dp↓A`0(↓A`Dp↓B0_↓BDp↓B0_↓BDp↓B0_↓BDp↓B 0λ↓B Dp↓B 0λ↓B Dp↓B 0λ↓B Dp↓B@PPα∩A00αAADP¬A@P0ε∩A08↓AaD("∪Dα⊂⊂H 8παi @εBi Hεαi`0π@i`0π@i`8πi`_A↓P_'`⊂ ε@i`_↓↓↓@_'`0_εi`_↓A↓0_'`@ ¬i`_α@a _'`P ∧@i`_β↓↓_'`p_∧i`_βAp_'a βi`_∧↓`_'a⊂ α@i`_¬↓@_'a αi`_¬A0_'a@ ↓i`_ε↓ _'aP @i`_π↓i`_π↓i`_πAI`_λ↓)`_λ↓) XεA Xπi XπhT 'H∧2λ⊂C↓¬_π∀"%βαdxαCTpα∧Dhα∧@D`α¬D`α¬DXα¬@DXα¬@DXα¬@DPαεDPαεDPαεDPαεDPαεDPαεDPαεDPαεDPαεDPαE@TXα¬@DXα¬@DXαET`α¬D`αD@ThαDTpαC@Tpββeβαeλ ∀ae0∧⊃(E∞πD∩λ¬)!8%ε)` ε↓I` π↓ ` πA ` πA ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` πA ` πA ` π↓ ` ε↓Ia('∧iaλ'↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ `%β `"Q
∩⊃Jd⊂`∧∀aeλ ∀`@β∪`P`αS@Aα∪ A⊂α∪Q⊂αSA α∩`A0α∩`A0α∩`A0α∩@A@α∩@A@α∩@A@α∩@A@α∩@A@α∩@A@α∩@A@α∩@A@α∩@A@α∩@A@α∩`A0α∩`A0α∩`A0α∪A α∪P8α↓`Thα↓ p0α∪@@_∧ADpβ 0 ↓@ e∧↓ uλ ∀ae0¬α%p↓α%p↓α%p↓A`%p↓A@5x↓↓@%x↓A5x¬_↓ελβ_@D("∀D∩_⊂H ↓_%¬I!@'↓↓ 8'↓↓P('↓↓` '↓↓`('↓↓p '↓↓p '↓↓p '↓↓p '↓↓`('↓↓` '↓↓P('↓↓ 8'¬ a⊂'∧I` ∧AI` ¬A)` ε↓ ` εA ` εA ` εA ` εA ` εA ` εA ` εA ` εAP_'↓↓P α@i` π↓@_%β↓0H%β↓@8%β↓P("Q
1(λ$⊂0βA $p¬@`$hε@ 4`αA!∧Xαα dXαα`DPαβDPαβ 4Pαβ 4Pαβ 4Pα∩@TXαR`d`∧S!Dxε∀!5(∧⊗ePα⊗@UXα⊗`DP↓C@DP↓C@DP↓C@DPαβ DPαβDPαB`DP∧↓@TP ∩@ _ε∩@ 0βQ(E ∂H$∩λG)1h%G)0_¬↓↓⊂_%@a ∧@i0_¬↓↓⊂_%@a ∧@i _¬A↓ _%a0 ¬i _¬A↓ _%a0 ¬i _¬A↓ _%a0 ¬k ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓
!)∧
!"Q
R⊃λ$⊂εα!4Pεα!4Pεα!4pα∧ 4pα∧ 4pα∧ 4pα∧ 4pα∧ 4pα∧ 4pα∧ 4pα∧ 4pα∧ 4pα∧ 4pα∧ 4pα∧ 4pα∧ 4pα∧ 4pα∧ 4pα∧ 4pα∧ 4pα∧ 4pα∧ 4pα∧ 4pα∧ 4pα∧ 4pα∧ 4xαβ`4xαβ`5αβ 5αB`Eλβ↓`U⊂λ∃↓E0∧⊃(E0⊃λd∩λβ↓0X%β↓0X%β↓0X'↓α0_'Aα⊂_'Aα⊂_'Aα (↓↓p_(↓↓p_(↓!P (A↓P_(A↓P_)↓↓0_)↓↓0_)↓↓0_)A↓⊂_)A↓⊂_)A↓⊂_*↓p_*↓p_*↓` *AP_*AP_+`@_+↓0_+↓0_+@`0⊂+A⊂_+A⊂_,↓K0,↓K⊂ ,AλT +Lε∩λ⊂@↓@8ε↓A4Pε↓a@0¬RA@8ε↓A4pαβ@Pp↓S@@hββ@4pαβ λαβDxαβ λαβ4xαβ λαβ4xαα`0⊂αα`5αα@0⊂αα@5αα@ _αα@5αα 0_αα@5αα 0 ααEλαα0 αα5λαα (αα5λα↓`00α↓`5⊂α↓@00α↓@5⊂α↓@00α↓@5⊂α↓@ @↓A@5_↓A 0@α↓ %_α↓0@α↓5_α↓0@α↓5_α`0P↓A5 ↓@`0Pα`% α@0Pα@5 α@ `↓@@5(↓@@ `↓@@%(↓@ 0`↓@@%(↓@ 0`α %(ββ@e0αC@U0αC@U0α∧E8↓D4("⊗∧α⊂⊂H `βBi `βBi `βBip(εj ¬A
(¬j⊂(∧↓
βA
(βj0(α↓
@ ↓A
@(↓jPH+↓j`0+A*p(+AJ`@+`⊂ *@` (*↓0(*`P )AP()↓p()a⊂ (A↓⊂((↓↓0((aP 'A↓P('↓↓p(%αa X%αa X%αa X"Q∩⊂⊃H$⊂εαa4Pεαa4Pεαa4xα∧ 4xαC`Eαβ`5αC EλαB`E⊂αα`5⊂αB E_ααE α↓`5 αA E(α↓ 5(α@`E0α@ E8α 58∧⊗e@αV EHα⊗ EHα⊗ EHα⊗ EHα⊗ EHα⊗ E(ε∃!E(ε⊃(EPεd∩λEI10%EI0(ε↓ 0_εA 0_εA 0_ε↓ ¬A) _ε↓ _¬A _¬↓) _¬↓ _∧A
` *A
@(*↓
0 )↓* ∧@j⊂ ¬j⊂ ¬j ¬@ip(¬@ip εi` ε↓ P(εiP ε@i@ πi@ πi0 εA)!8%¬i!8"Q⊃ EB`_∧∪↓4XεR`@0α∪ @α∃`58↓U`58↓T↓$pε∪`(↓R`@@↓R`0H↓R@0P↓R@0P↓R@0P↓R@0P↓R@@@α∩@P(β∩b4X¬`dhαA`T("_C↓H⊃λ@0 %↓i 8%↓i`_'i`_'i`_'i`_'i`_αAi`_↓αi`_C)`8β↓)`(¬↓ ` εi` εi`_εA `_πi`_πi`_πi`_πi`_πi`_πi`_πi` ε↓ ` εi`(¬↓ `(∧A `8β↓)`_C)`_↓BI`_αAHT 1DBA0↓a∧x¬SAThα↓@D`↓B $X↓R`4X↓R@4P↓R@4P↓R@4P↓R@4X↓R`4Xαα@4`αα 4hαA Dpε∪a%λβ⊃(F εD"⊂λ↓
p8+Ajp8-@k0_-@k0_-@k0_-@k0_(↓@P_'α` _&C ⊂_&↓ `8&↓↓⊂(%A↓0 %@a@ %↓↓P_%a`_%a`_%a`_%a`_%a`_%a`_%a`_%↓↓@ %@a@ %@a0(%A↓⊂0&↓ `8&C ⊂8'α@08(↓@P8"QQλ EB`0β∪a∀p¬S @(↓S0H↓∩`0P↓∩`0P↓R@0`↓∩B∀PλRB∀P↓R@4P↓R@4X↓R`4Xαα 4`αα4hαA 4p¬Sa∃λβ⊃(F0λ∧∧"⊂¬↓* @(B* ↓↓
_αIp_'@ip_'@ip_'@ip_%β) h%β)p_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_%C 0`%CλT 3EBrλ↓`P αSa⊂λβSB$hα↓ @_↓∪ 08↓S0H↓S0H↓S0H↓S0H↓S0H↓S0H↓S0H↓S 08↓S @(α∪!Dh¬S0⊂αS4`↓S $hπ∪"∧` ∩`@XαR@@pα∩@1↓R@1↓R@1↓R@1↓R`0p↓R``@β∪α$pπ∀↓$("~β⊃P⊃λ@0 %↓i 8%↓i`_'i`_'i`_'i`_'i`_α↓I`_↓αI`_C `0β↓ `(∧↓ ` ¬i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i X↓Bi X↓Bi X↓BhT 4BaB_⊃A$hα∪Thα∪@$8∧↓4PβR@tPβS@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓RA4P¬RA4("~A0P⊗H`p_(↓*((↓*⊂_#Bp &B P@&B
_)j _)j _)j _)j _)j _)j _)j _)j _)j _)j _)j _)i0⊂αi ↓@i H%Ai@("Q
1@HD _α∩@tPβR@tp↓S@4p↓S@4p↓S@4p↓S@4p↓A!4p↓A!4p↓A!4p↓B4p↓A`4p↓A@4p↓A 4p↓A4p↓@`4p↓@@Dp¬∪@`λα∪@P_↓S@@(↓S@00α∪@08↓S@0@↓S@0H↓S@0Hα∪@0P↓RA0 ∧RA0 ∧RA0 ∧Q(F`¬C∧"⊂↓A 8%↓i 8'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_%αi X%αhT 6Ie↓0`@ βαdPβ@A ¬∩@pλεADP¬↓@@λ↓A@DpαB`@α∪@@Pαα@4p↓B`0X↓S@0X↓B`4p↓B`0X↓S@0X↓B`4p↓B`0X↓S@0X↓B`4p↓B`0X↓S@0X↓B`4p↓B`0X↓S@0X↓B`4p↓B`0X↓S@0X↓B`4p↓B`0X↓S@0X↓B`4P¬@a0_¬RA0_¬@a4P¬@a0_¬Q(FpFBa0↓A@0%↓` P%↓`⊂`%α@` '↓! '↓↓ _'a0_'a0_'a0_'a0_'a0_'a0_'a0_'a0_'a0_'a0_'a0_'a0_'a0_'a0_%α`0X%α`0X%α`0X"Q
q ¬B`8β∪a$hπ∪P0αS0P↓R`0`↓R`0`↓R` p↓∩@0p↓R@0p↓R@0p↓R@0p↓R@0p↓R@0p↓R@0p↓R@@`α∩`0`↓R`@Pα∪@@α∪P0αS!dx¬∀ d("≤β↓H⊂¬@0 αAi 8↓αi 8C) Xβ↓)`(∧A)` ¬A ` εi`_εA `_πi`_πi`_πi`_πi`_πi`_πi`_πi` ε↓ ` εi`(¬↓ `(∧A `8αAI`_C)`_↓BI`_αAI`_'i`_'i`_'i`_%αi X%αhT 8Fβ"↓@`(↓SA0⊂↓S!Pλ↓S`(βS@HαR`@Xα∩`0`α∩@@h↓R@0p↓R@0p↓R@0p↓R@0p↓R@0p↓R@0p↓R@0hα∩@@`α∩`0`α∩`@PαS@@β∪P0↓@ 4hε@4p¬`5β↓ 5X↓V`5X↓V`5X↓V`5X↓Ua58¬Ua4("≤B⊃⊂¬@0 α↓ 8↓↓i 8B) X↓↓ `(α@I` '↓ ` 'i`_'i`_'i`_'i`_'i`_'i`_%β `%βλT 9Cb⊃0↓`⊂↓∪↓DXεR`0(αR@08α∩@0@↓R@0@↓R@0@↓R`4XβS↓∀p∧T@e(↓R@0H↓R@0H↓R@0H↓R@@@↓R@@8α∩@P(α∩AdP↓!$P↓`d("≥↓`x⊂λ@_'i`_'i`_'i`_&A P &↓) h%β) h'i`_'i`_'i`_'i`_'i`_'`@_'`@_'`@_'`@_'`@_'`@_'↓ _'B p8(↓λT :F#!0`@Pα∩@p8βR@p8βR@p8βS@0X↓S@0X↓S@0X↓S@0X↓S@0X↓S@0X↓S@0X↓S@0X↓S@0X↓S@0X↓S@0X↓S@0X↓S@0X↓S@0Pα∪@0HαS@@0βSa@λβT↓⊂_βT `(βQ(G0ε"a0α@@P%α@@P%α@@P'a _'a _'@a_'@a_'@a_(``_(``_(``_(@`@_(@`@_(@`@_)@@⊂)` _)` _)@@ ⊂)@@ ⊂)AJ@ *↓
@ "Q∞rλ⊃¬B`¬A⊂⊂¬∩A ⊂∧@A$P¬A⊂⊂¬∪@0@↓B4p↓A`P8↓S@08αA`4p↓A`P8↓S`0(↓@ 0↓S`0(↓@ 0(↓S`0(↓@0(↓T (↓@0(↓∀0_↓@`0_↓T0_↓@`0_↓T0_↓@`0_↓T _↓↓ _↓∀ 0⊂↓↓ ⊂↓T 0λ↓A 0λ↓T@ λ↓A 0λ↓∀@ λ↓↓` λ↓∀@P8αT@P8αT`@8α∀`0H↓Q(G@ε"a0α@0P%α@0P%α@0P'@a_(``_(`P_(@`@_)` _)`⊂_)A*@ *↓
0()AJ _↓j⊂_αj⊂_αj_βip_∧ip_∧i PααI PααI PααHT <Fβ∩↓ ¬∩A ¬∩A ¬∪@0P↓S@0P↓S`0@↓S`0@↓S`0@↓T00↓T00↓T00↓T 0 ↓T 0 ↓T 0 ↓T@ _↓T@0⊂↓T@0⊂↓T` ⊂↓∀` λ↓T`e α∃E α∃5 ↓U5_↓T`4Pα↓DPα`DP¬∩a∧`αQ(GP ∧ba0↓∧ A&∧ @_∧@i@_∧i0 β@i0_βA 0_β↓ 0_βi0_α@j _(A
⊂_α@j_βip_β@i` β@iP ∧iP_∧i@_∧@i0_¬i!λ%∧)!λ"Q↓P∞λ$⊂RC∀PS@@hα∪@@p↓S@@p↓S@@p↓S@@x↓S@@x↓S@@x↓S@@x↓S@@x↓S@@x↓S@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∩AdPπ∩Ad("$R8⊂H"⊂_-↓+ (,Ak⊂8,`⊂(,` +@`0(+@`@ +`P(+`` *A`(*@a *↓↓(*a )A↓ ()@a@ )↓↓@()a` (A↓`((@b (↓α((b 'Aα ('@b@ '↓α@('b` &Aα`(&@c &↓β(&λ)2_%Hi2_"Q"⊃H$⊂`∧∀aeλ ∀`@β∪`P`αS@Aα∪ A⊂α∪Q⊂αSA α∩`A0α∩`A0α∩`A0α∩@A@α∩@@ ↓B@0 α∩@@ ↓B@0 α∩@@ λ↓DPα↓α α∩@@ λ↓DPα↓α α∩@@ ↓B@0 α∩@@ ↓B@0 α∩@A@α∩`A0α∩`A0α∩`A0α∪A α∪Q⊂αS A⊂α∪@Aα∪@``β∀`@β∀"%_π∃A∧("cQx⊂H!P_+↓*`(+↓*`(*@@ _*@@ _*@@ _*` *` *@0 )@`@ )@`@ )@`@ )`` )`` )`` )`` (@a (@a (@a (a (a (a 'A↓ ('@a@ '@a@ '↓↓@('a` 'a` 'a` %αAX%αAX%αAX"QA`∂λ$⊂∞∩CDP∞∩@10↓R@10↓R@10↓R@10↓Q``(↓C4x↓C4x ∪b$x ∪`0`↓S`0`↓Q``↓E@4P↓E@4P↓E@4P↓E@4P↓E@4P∞∩CDP∞⊃(@(⊂λD∩λλ "%λ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ `∧β `∧β `∧βλT βπ$αλ⊂@#4P∞∩CDXαD@D`α∧`4`αD@4hαD 4pα∧ Dxα∧ 4xαD5αC`5λαβ`5⊂αβ@5⊂αT`E α∃U(α∃ 5 ↓T`E_↓C@5⊂↓C`5λ↓D5α∧5↓D 4x↓D Dp↓D@4hα∧@4h↓D`4`↓D`DX
RCDX
Q(@8⊂λd∩λα↓A@0&B!H&α``X%AP_β`P %↓p_α`p %a⊂_↓a⊂_%a⊂_↓a⊂_%a ⊂↓A _+@@ ⊂+AK ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ )∧
!)∧λT ∧π$αλ⊂Ab¬λλ∀"¬8α∃`E8α∃`E8α∀a5λSBThβ↓@_β∪P0α↓ TXαα@8α∩@P@α↓`TPαα @@α∩@@HααDPαα @@α∩@@HααDPαB@8αR`@@α↓`D`αA@@(αS ` α`dp
Tα∃_¬U`E8α∃`E8α∃`Eλλ∀"¬λλ⊃(@H⊂λd∩λ∧∧
!)∧ ,↓ ,↓ 0_¬↓↓ %↓!⊂ ∧A) 0∧↓↓0&↓ p βA)P βAp &Ap βA P βAp &Ap βA P βAp &Ap βA P βAp '↓` β↓ ` β↓` 'AP αA p(α↓@((↓@ ↓↓J⊃⊂)CJ`@,↓ ,↓ ,↓
!)∧
!"Q↓!x⊂H$⊂X∧TAu S``Hβ∪@PhαS Aλα∪A_α∪A_α∩`A(α∩`A(α∩`A(α∩`A(α∩`A(α∩`A(α∩`A(α∪A_α∪A_α∪A_α∪ Aλα∪ Aλα∪@@xα∪`0x↓S`@hα∀0h↓T@Xα∩@0 ↓B`0 ↓R@0 αα @ ↓R`0 ↓B 0 ↓R`0 ↓B 0 ↓R`0 α↓`@ ↓Ra08¬Ra08¬S↓ 8¬∪↓ @∧Q(C ¬#qxβ↓I`P&C @(α↓)@_∧i0_¬i0_¬i0_¬i0⊂εI _εi _εi _εi _εi _εi _εi _εi _εi _εi _εi _εi _εi _εi _εi0_¬i0_¬i0_¬i0 ∧↓ @_∧i@(α↓)P`'αJ0"Qε⊃
πcp8↓TDpβ∩A$Pβ 4Pα`5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓RatXπRat("BA0∂G``8'αiPp&``8%@a %@a0 %↓↓@_%↓!0 %↓!@_%↓!@_&!`_-↓ -k⊂ ,@k_+@j`_*@j@_)@j⊂ (↓ p ∧i`_¬iP_¬@i@_εi0_εi!_%∧i!_"Qε1 πcp0∧∪ADhπ∪@8αR`@P↓R`@Pα∩`@X↓S0X↓V EHα⊗E8α∃ e∧T↓¬¬∃`E@α⊗ EP↓V@EPα∪⊂hα∩`0`α∩@PXα∩@PXα∩@@Xα∩`0PαR`P8αS↓tpε∀↓∧("
αa8∂Ga@ *A*P(*@⊂_)@`⊂_)@@ _)` _)` _(@`0_(`@_(`@_'@`P_'↓P_'``_&@`p_&↓p_&a_%A↓_%↓↓⊂_%¬I!0%¬Jp_+@jp_+@jp_+@jp_)β* h)β(T ~Eαax∂@@ hS@@α∪α∧`πS↓D`↓S4`↓S4`↓S4`↓S0_β∪0λ¬∪↓t`β↓ T`αα Dh↓α@EPα⊗@EPα⊗@DX↓β DPαβDPαβDPαα`DPαα`DX↓B@D`α↓@dhπ∪A5βQ(C0 ¬#qx∧AJ⊂H'C `(αA P βA P_∧↓ @_¬I@_%@i0_%@i _αA) _↓B) _C 8αA (∧↓ ¬i ¬@i _εi _εi _εi _εi _εi0_¬@i0_¬@i0_¬@i@_∧@i@_∧↓ P αA `X'B*0"Qεq H$⊂λ↓R`4X Rb4X R`0`↓R@0`↓R@0`↓R@0X↓R@0P↓U@50↓U 5 ↓U5_↓T`5⊂α∀@5⊂↓T Eλα∀ 5λ↓T 5α∀Eα∀Eα∀Eα∀Eλ↓⊃(C@
¬Cqxβα ``&CI@(β↓)@_¬i0_εi0_εi0_εi0_εi0 ¬↓ @(∧i@8α@iP8↓↓)pP(α pP'β P α↓I@_βAI0_¬↓)0_¬A _εA _πi _πi _πi _πi0_εi0 ¬@i@(βA Pp'β
@"Qπ⊃⊂
Gcp0β∪A∀hε∪@(α∩`@@↓R`0H↓R@@P↓R@0X↓R@0X↓R@0`↓R@0`↓R@0`↓R@0`↓R@0`↓R@0Xα∩`0Pα∩`@@αS@(βS↓@λ↓S!⊂_↓S`P(↓V %@↓V5@↓R` P↓R@@@α∩@@8α∩@@0α∩aD`¬∪ t(" α!(∪I↓_)j0'αIP`&↓ _A 0 ↓@` %@`@_↓@i _α@`@_%`P_αi _α@`0 %`P_↓A _α@`@⊂%↓@_%@`@_%A0_&α)@P&BipP)α
@)` )`0_)`0 %@@P_αi α`@_%↓@_αi _α@`@_%`P_αi α`0 %@`@_↓@i0 ↓@` &↓ _A P`'αJ0)j _)hT ∪λDB⊂⊃α`E_βTA∃λα↓5λ↓A 5↓A`5↓A`5↓A`5↓A`5↓A@5↓A@5↓A 5↓A0(εT 0⊂↓AAUλ↓@ 08εT `h↓T@@h↓T@0h↓T P`↓S`pX↓S@@⊂↓B@4hα`0H↓S@(↓B4Xα↓@@0↓R`0@↓A@4P↓B@0 ↓R@0X↓@@4P↓B`tP↓CdPαβ@P↓R`0XβαD`αAA (α∪!P_εSA00¬∀`Xβ⊃(CxλE∧"⊂αAiPX&β)0 βA 0_∧@i _¬@i ¬i ¬i0⊂¬@jp +↓
P(*↓*0 )↓
_(A
⊂_(@j_(j_(j_(hp(βip('A)p((hT ∨∧"B⊂↓@4xαS`TxαT48αA@5↓T5↓T5↓T4x↓S`4pα∪@4hα∪DXα∩`4P↓R@0X↓∩@0Pα∩@0Pα∩@0X↓R@0P↓R`@0αRad`¬S@t("∧↓0`¬@@_%↓i 8%↓i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i X%αi X"Qα⊂X¬λα`8α∪!∧h∧∪!¬⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@4X↓↓4Pα`4P∧R`t`αQ(AH¬d"⊂∧AJ⊂P(β p β↓ ` ∧↓ `_¬i`_¬i`_¬i`_¬i`_∧A `_∧@i`_βA 8↓Ai 8↓AI 8↓Ai`_β↓)`_∧↓ `_¬i`_¬↓ `_¬@i`_¬@i`_εi`_εi`_εi`_εi`_εi`_εi`_εi`_εi`_↓@@`_'` α@i`_↓↓0 %↓` P%↓`0@%↓`@0"Qβ!p⊂EB`_∧α T`¬A!∀Xε@a4Xα↓@@λα↓ D`↓α`H↓∃`@P↓∃`@X↓∃`@X↓∃b∃_
Sc∀hεSP0↓R`@@↓R@@H↓R@0Pα∩@0Pα∩@0PαB 4Pααp@↓R`@(α@ P(↓RaP_¬S↓ 0∧S `Xβ⊃(AX⊃ αa0βAA0('B@pH'βPX&A` ↓AP &a _@a⊂⊂%@a@(¬I0_ε↓!0⊂%@A` ¬@I _π∧) _π∧) _π∧) _πi _πi _πi _πi0_ε↓)0_ε↓)0 ¬↓a⊂_&a _A↓_&A` ↓A P_'βPX'B@pH(AA00"QβA λCAλV`%P↓V@5H↓VEλβ 4xε∪!d`αA d`↓A`dXα↓A∧X↓A`0⊂↓R`00α@4P↓A`0 ↓R@00α↓4P↓A@0(↓R@0(α↓ 4P↓A 00↓R@0 α↓@4P↓A08↓R@@⊂α↓@DX↓@@08↓R`0λα↓`4`β↓`4`β↓ Thπ∪!Dh↓@ d`α∪4X↓R`4X↓∪∀("π%∩X⊂H!1X*FjQX+A⊂ ε↓
p_↓↓↓P_+@` ε@j` ↓↓↓P_+`0 πj`_↓A↓`_*A0 πjP_α↓↓_↓@jP_α↓↓_↓@j@ α↓↓_↓@j@_αA↓_*`P ∧j0_β↓↓_)F
1@)ε* _βA↓_)`p ∧`P_(@a ∧`P_(@a ∧`P_(@a ∧`@_(a⊂ ∧`@_(a⊂ π@j_∧A↓p_'@a π@ip_¬↓↓p_'↓↓ π↓ `_¬A↓`_%α`A@%α`A@%α`A@"Qβbh_λ$⊂`∂∀d∃λ⊃T`8βCDxαB`Ph↓S@@hαC 4hαβ@Ph↓SPpαC@4`αβ`Pp↓R`AαB 0⊂↓R`AαB 0⊂↓R`Aλαα 0⊂↓R@A⊂αα 0⊂↓R@A⊂αα 4Pα∧@@H↓R@A⊂λ∩@A⊂λ∩@A⊂λ∩@A⊂αα 4Pα∧@@H↓R@A⊂αα 0 ↓R@Qλαα 0 ↓R`Aλαα 0 ↓R`AαB 0_↓R`PxαC`4`αβ`Px↓SPpαC`4hαC Px↓S@P`αC`4pβα`Ppα∀p0βC@5λ∩∀d%0∂Q(Ax⊂λdb_@l +α@_)DJ⊃_(↓A0'A!@('↓↓P8&A↓P A @ π`0 &↓↓P ↓A 0 π`P %A↓P_β↓ 0 ε↓` %↓↓P_∧↓ ε↓↓ %↓↓@_∧A ¬A↓⊂ %↓↓0_¬↓ ¬a0 %↓↓⊂ ¬A ∧@a@ %↓↓ ε↓ ∧aP %A` ε↓ 0 βaP %AP_π↓ @ ↓A↓P &↓0_π↓ P A↓P '↓aP '↓A@0(↓A0(∧iq⊂'@`@@'↓ `_"Q∧⊂(∧HD λ↓R@TPαR@TPαR@TPαR@TPαR@TPαR@TPαR`4X↓R`4X↓R`4X↓R`4X↓R`4X↓R`4X↓Q`Pλ↓R@TPαR@TX↓Q(C`αB$!@@i (%↓) (%@hp(@i0_%@i0_%@i0_%@i0_%@i0_%@i0_%↓) (%↓) (%↓) (%↓) (%↓) (%↓) (%@hT ⊃Hdb`⊃∧ P↓⊗@ P↓⊗@ P↓⊗ P↓⊗ P↓⊗ P↓⊗ P↓⊗ P↓⊗ P↓⊗ P↓⊗ P↓∃` P↓∃` P↓∃` P↓∃` P↓∃@ P↓∩d∀P⊃U P↓∃ P↓∃ P↓∃ P↓∃ P↓∃ P↓∃ P↓∃ P↓∀` P↓∀` P↓∩D4X⊂T@ P↓∀ P↓∀ P↓∀ P↓∀ P↓∀ P↓∀ P↓∀ P↓∀ P↓∀ P↓∀ P↓∪` P↓∪` P↓∪` P↓∪` P↓⊃(B(⊃IDr α↓"@⊂&Ab0⊂&α"⊂_%A0(εA 0_αAa(%@`Q_%`qλ%`p_↓B⊂⊂%`p_¬@I _β@a ⊂%`p_¬I _β@a⊂⊂%`p_∧I _β@a⊂%@`P_∧I0_α@`p⊂%A0 β@I@Hβ@IP8β@I`(∧@p(-@p8-@`H,@@` ↓A⊂β@`P_,@p_α@jp⊂β@`p_+A_β@j`⊂∧`p_*@A⊂_β@j@⊂¬`p_*A _β@j0⊂¬@`p_)A@_β@j ⊂ε`p_(@A`_α@j⊂π@`P_(Ap ↓A p⊂λB)`⊂ Aipλ
↓(T ∪AA p⊃ 4PαR@TPβ∩`Th↓S 4h↓S 4`↓S4Xα∩@DP↓R`∀("
↓Px_I↓ _)@j _(@j_'@ip_'i`_&@iP_&i@_&i0_%@i0_%@i _%i _%i _%i _%i _%i _%i _%i0_%@i0_%@i@_&i@_&@iP_'i`_'@ip_(j⊂_)j0_*hT ∀C"βλ∩4X↓S4h↓S@4x↓S`5↓T5λ↓T 5⊂↓T@5⊂↓T`5_↓T`5_↓U5 ↓U5 ↓U5 ↓U5 ↓U5 ↓U5 ↓U5 ↓T`5_↓T`5_↓T@5⊂↓T@5λ↓T 5↓T4x↓S`4p↓S 4`↓R`4P↓Q(BP ¬"b ∧J _)J ⊂)I ⊂β@`⊂%↓@⊂α↓ (↓@@0(&↓ ⊂⊂A)P`'B
⊂ 'B P`&↓ ⊂⊂A) (↓@@0(%↓@⊂α↓ ⊂β@`⊂)J ⊂)J _)HT ∃H∧2λ∞β`%H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓∩D∧P⊂⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊃(B`βαA` @i (%↓) 0%A)P_&@iP_&@i@_&i0 %↓ _%@(T ↔↓!⊂ α 4PαR@TPαR`4("b!(_ α⊂λ-K⊂⊂,@K⊂⊂,K⊂,Jp⊂+@Jp⊂+J`⊂+JP⊂*@JP⊂*J@⊂*J0⊂)@J0⊂)J ⊂)J⊂⊂(@J⊂⊂(J⊂(Ip⊂'@Ip⊂'I`⊂'IP⊂&@IP⊂&I@⊂&I0⊂%@I0⊂%I ⊂"Qπ (∧EB`λ↓R@TPαR@TX↓QaPλ↓R@TPαR@TX↓Q(CXαB$↓0@i (%↓) (%@hph@i (%↓) (%A @_&i@_&i0 %@i0_%i _%@(T ≡H∧0h #dP⊂⊃a ⊂∩cd("⊂∧α_⊃λA@@)CJ⊃⊂(↓A0'A!@('↓α &A`0β↓ @ αB@P &`P`α@i0 α↓` α↓ 0_α↓↓ αi0_↓A↓ (↓i0_↓@a@ ↓i _αa@ ↓@i _↓@a`_↓@i _↓@a`_↓@i _↓@a`_↓@i _↓@a`_↓@i _↓@a`_↓@i _↓@a`_↓@i _↓@a`_↓@i _αa@ ↓@i0_↓@a@ ↓@i0_↓A↓ (↓@I0_α↓↓0↓i0 α↓`8↓i@_αC⊂8&↓PP↓A)P β↓@`_'↓ p(λA*0¬B
⊃()D*`P"Q08ε∧@βR@tP↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@tPβQ(EhβBεα ↓i 8'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@I 8%↓hT 0↓A⊂p⊃↓∀h↓SDXα∩`4X↓R@4P↓R@4P↓R@TPβ∩`TXαS4("∧A⊂x∧λ@_%↓ %A @ &A ` '@jλ"Qα0H α∧ 0↓S`Dxα∪@Dhα∪DXα∩`4`Q(A π∧`R@A⊂%@``_%A (&αI`0(HT
Dα@@⊃0P↓R@0P↓R@0P↓R`0@↓R`@0α∪@ α∪↓Dp∧∪`d("¬B!(↓π@↓⊂%∧I!⊂"Qαp`↓d _β∩a$Pε∩@00↓R@00↓RADX¬∪ d("ε↓A⊂¬@ '↓)`8(A
_)@j _%BI P%αλT ⊂αa@(
α %αS↓∀P¬∩@dP↓Q(Epπ∧`r⊂βIp '↓IP_↓i0 α↓ β↓ 0⊂∧HT /A!⊂ ⊃@ 4PαR@TPαR`4("∨!a ∧λ@0_α@iP_α@i@ α↓ @_α@i0 α↓ 0_α@i _α@i _α@hT ?∧α@0⊃↓00S P α∪p⊂α∩adXα@tPα↓T`A@4("∨aa_αλ`⊂_βi (α↓) (α↓) (α↓)0_βhT ¬GCb⊂⊃β`0αTa _∧∀Beλα↓ p_α∀08β↓ $x↓B Dx↓B@4x↓B@4x↓B@4x↓B@4x↓B@4x↓B@4P
RC4P
S`0P↓S`0P↓S`0P↓S`0P↓S`0P↓S`0P↓S`0P↓S`0P↓S`0P↓S`0P↓S`0P↓S`0P↓S`0P↓S`0P↓S`0P↓S`0P↓S`0P↓Ra0⊂ε∩a0⊂ε∩a0⊂ε⊃(@`
εD"⊂εAj@X)β*⊂ β@j_∧@ip ∧@ip_'@ip_'@ip_'@`p8%¬I!0%¬Ip_¬@ip_¬@ip_¬@ip_¬@ip_¬@ip_¬@ip_¬@ip_¬@ip_¬@ip_¬@ip_¬@ip_¬@ip_¬@ip_¬@ip_¬@ip_¬@ip_¬@i0X↓Bi0X↓Bi0X↓BhT εFC"⊂⊃β!∃ ε∀Aeλα↓@U↓B Dxαα@4x↓B`4x↓B`4x↓B`4x↓B`4x↓B`4x↓B`4P∩BdP∪`0X↓S`0X↓S`0X↓S`0X↓S`0X↓S`0X↓S`0X↓S`0X↓S`0X↓S`0X↓S`0X↓S`0X↓S`0X↓S`0X↓S`0X↓S`0X↓S`0X↓Ra0_¬Ra0_¬Ra0_¬Q(@p∀
∧"⊂εAA8*α@@X)β ⊂h(Ap8β@j_∧↓A⊂_'A↓⊂(∧@ip_¬@ip_¬@ip_¬@ip_¬@ip_¬@ip_¬@`p8% " % p_¬@a0_'@a0_¬@ip_¬@a0_'@a0_¬@ip_¬@a0_'@a0_¬@ip_¬@a0_'@a0_¬@ip_¬@a0_'@a0_¬@ip_¬@a0_'@a0_¬@ip_¬@a0_'@a0_¬@ip_¬@a0_'@a0_¬@ip_¬@a0_%B`0X↓Bi0X↓B`0X%B`0X↓BhT πJ¬α⊂⊃β p8∧U↓0_ε∀APλπ∀ @0∧↓@U↓B PHα∪`@HαB@4x↓B`0X↓S`0X↓B`4x↓B`0X↓S`0X↓B`4x↓B`0X↓S`0X↓B`4P∩∩DDP∩∪`0X↓B`4x↓B`0X↓S`0X↓B`4x↓B`0X↓S`0X↓B`4x↓B`0X↓S`0X↓B`4x↓B`0X↓S`0X↓B`4x↓B`0X↓S`0X↓B`4x↓B`0X↓S`0X↓B`4x↓B`0X↓S`0X↓B`4x↓B`0X↓S`0X↓B`4X¬@a0_¬Ra0_¬@a4X¬@a0_¬Q(B⊂λ∧Ab⊂@`p_%↓ P(%↓ P(%↓@@0%A P(&@`p_&@`p_&@`p_&@`p_&`p_&`p_%A` %↓` %`p_%@!⊂λ"Q¬P`ε@A@ε∩ADPε⊃(E`λ¬Ab⊂α!⊂λ&@`p_&↓` %A` %@`p_%@`p_%`p_%`p_%`p_%`p_%↓ P(%↓@@0%A P(%A P(&`p_"Q∂1@Ap∩C∧P⊃(G`_L x)#λ%(↑xπ~,F(7≥
⊗04Y."!Pj.x
Xmv 4[Lw_1ZVh2H
F(,λ∞F(<≥≥p`3≠mg 3_,6(1≡.F(y@≥ >→h`
∩HN` ⎇M` ⎇M␈␈x␈␈`?␈x␈|` ≡`∂@↓≡H ↓8x⎇@∩Pβ*U@β¬{Dpε≤9 ε→←0↓H@Pw<Z≡` ⊂@↓*PV@↓Hv⎇@R(αz'pβ#p{↓D@¬cG0εX␈0βI``8r@
N↑`@∩↓8p≥@↓XU⎇A∩8β∞≤PβB0{αD@¬cG0π⊗∨0¬G H*V↔w}``∞↓∞pxβ7=AQ`α≥oε∞X{βE εX↔./0πJ@h0.→}aπH@Dα_≡=B⊂x↓∨%∧7λ{∧C⊂∧ Q∂0 F @@↔(>a @↓↓αp]=BQHα⊂¬m_{¬C⊂∧ ←∂0I Xi∨@↔A>a@q`9@αx⊂=C⊃Hα↓6_∧;p{εD@¬cG0
∨0
I``8r@∩.↑a`@↓↓α(~⎇CRhβK0@∧\{πF λλDP P←0∂I``8r@∪R↑bπH@Dαx≥⎇D⊂p↓∞≤@¬({λC⊂∧ ↑o0⊃J@h*V∀#}b @↓↓αλ&=DRPβ*U@¬∀⊂{ Dpε∨% λ>?0∪C@ 8r∃λ}b@ @c@r@αP$=E⊃_↓G∞(¬+_{
C⊂∧
co0∃I``8r@∃\}b`πGλdαX←=EQλ↓*U0ε3H{A`α≤9
|?0↔F @@∃⎇≡c@↓↓↓h'=F⊃Hα⊂β\H{C⊂∧ πBO0→F @@∂≥>c @↓↓↓pj=FQHα⊂βsX{
C⊂∧ πso0≠F @@⊂∧>c@@↓↓α3=G⊃Hα⊂∧
H{∞A`α≤9←0≥C@ 8r⊗≡↑c`πGλdα@%=GR8β∞≤P¬JX{∂CβcG0λ]?0∨F8G∞`⊃&↑d∪@↓Gλeα`↑=H∩(αz'pα_{⊂D0¬OR`∀/0!IXG∞`G}d ∪↓B⊂∩@λJ=HR⊂αYLp!8{⊃D¬⊗aTO0#I``A6`↓F}d@∩@↓=⊂?_O=I⊃λ↓3→PB8{∩C⊂∧λD0↓∞/0%I@`"⊃@α1}d`∂@↓≡H (.=IRhβORP[h{∪DP¬tO`↓W∂0'I``8r@β[}e⊃↓,`g8y=J∩8β∞≤P↓¬H{∀D@¬lPα!∂0)G@qd∧d>e ∩↓8p≥@P↓=JR(αz'p↓'({∃DP¬tO`α←o0+L`↓"⊃@¬`}e@∩@↓=⊂?`>=K∩(αz'p↓Oh{⊗C`∧qc`β-/0-C@ 8r⊗d>e`@↓↓β_#=KPp↓∞≤@¬←P{↔C⊂∧ io0/C@ 8r↔Z}fπGλdαp1⎇L⊃@↓z'p↓↑λ{_C@∧>JβF∂01E@8∞≤`π*}f ∞↓∂P(pu=LQ0↓cG_↓v({→Apα8rβu/03F @@π}}f@∞↓∂P(↓:=M⊂p↓⊃λ@α∞x{~Apα>J∧&∂05F`@D"@λb>f`πH@D↓⊂↓=MRPβ-A@α$x{≠C@∧>J∧\/07F @@ Q>g∞↓∂P(↓_N=N⊃Xα⊃λ@αA_{≤B@β⊃λP¬⊃O09E0'i@
2}g @c@r@↓(∞=NQ`α∨%αW_{≥C0∧"⊃ ¬:o0;IXR>`>g@
@↓λ@E↓0i=O⊃Xα⊃λPαrX{≡B`βHD0¬so0=F @@→b>g`→α↓@β_K=OQHα⊂¬w`{∨C⊂∧ t?0?F @@↔q∨⊂{X_ow{⎇x